Franz Baader - PDFSEARCH.IO - Document Search Engine

Franz Baader
Results: 23

#	Item
11	Doctoral Scholarships in the Research Training Group The DFG Research Training Group GRK 1763 “Quantitative Logics and Automata” offers 8 Doctoral Scholarships for applicants interested in performing high-quality res Add to Reading List Source URL: lat.inf.tu-dresden.de Language: English - Date: 2015-02-20 08:23:42 Theoretical computer science Computer science Academia Education Knowledge Franz Baader Year of birth missing Dresden University of Technology
12	LTL over Description Logic Axioms Franz Baader TU Dresden, Germany Silvio Ghilardi Universit`a degli Studi di Milano, Italy and Add to Reading List Source URL: www.informatik.uni-bremen.de - Date: 2011-05-07 10:21:31
13	Reasoning Support for Ontology Design Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf M¨oller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris http://www.tonesproject.org/ Add to Reading List Source URL: www.inf.unibz.it - Date: 2011-09-08 09:53:45
14	Chapter 8 Uni ation Theory Franz Baader Wayne Snyder Se ond readers Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:44
15	Chapter 8 Uni ation Theory Franz Baader Wayne Snyder Se ond readers Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:42 Integration by substitution Big O notation Variable Mathematics UNI Polynomial
16	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:37:58 Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic Model theory Mathematics
17	Pushing the EL Envelope Franz Baader and Sebastian Brandt and Carsten Lutz Intitute for Theoretical Computer Science TU Dresden, Germany [removed] Add to Reading List Source URL: lat.inf.tu-dresden.de Language: English - Date: 2013-02-18 09:15:12 Science Web standards Ring theory Artificial intelligence Description logic Non-classical logic Web Ontology Language Ring Ontology Information science Semantic Web Information
18	Doctoral Scholarship in the Research Training Group The DFG Research Training Group GRK 1763 “Quantitative Logics and Automata” offers a Doctoral Scholarship for an applicant interested in performing high-quality res Add to Reading List Source URL: lat.inf.tu-dresden.de Language: English - Date: 2014-06-02 11:55:34 Year of birth missing Dresden University of Technology Theoretical computer science Computer science Academia Education Knowledge Partners Harvard Medical International Public universities Franz Baader
19	THE HIGH AND DEEP SEARCHING OF THE THE THREEFOLD LIFE OF MAN ACCORDING TO THE THREE PRINCIPLES Add to Reading List Source URL: jacobboehmeonline.com Language: English - Date: 2013-03-29 16:54:27 Christian mystics Theology Philosophy of religion Religious ethics Theodicy Inspiration of Ellen G. White Franz Xaver von Baader Religion Religious philosophy Christianity
20	THE HIGH AND DEEP SEARCHING OF THE THE THREEFOLD LIFE OF MAN ACCORDING TO THE THREE PRINCIPLES Add to Reading List Source URL: www.jacobboehmeonline.com Language: English - Date: 2013-03-29 16:54:27 Christian mystics Theology Philosophy of religion Religious ethics Theodicy Inspiration of Ellen G. White Franz Xaver von Baader Religion Religious philosophy Christianity